1. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
H383
1995
2. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
Classification :
QA
76
,.
9
.
H42D5
2010
3. Discrete structures, logic, and computability
Author: / James L. Hein
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
Classification :
QA76
.
9
.
M35
,.
H44
2010
4. Discrete structures, logic, and computability
Author: James L. Hein
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
Classification :
QA
76
.
9
.
M35H43
2010
5. Proof and computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
Classification :
QA76
.
63
E358
1995
